Lévi-Strauss: mito e ídolo

Mito-communications.

It has long been known that the mitochondrial genome normally mutates at a higher rate than the nuclear genome. Direct estimates of mitochondrial mutation rates can be made by sequencing individuals from mutation-accumulation lines, for which the evolutionary timescale is known exactly. Using such an approach, estimates of mutation rates have been made for a small number of species (e.g. Denver...

Oltre il mito: Lamarck e le scienze naturali del suo tempo

PIETRO CORSI, Oltre il mito: Lamarck e le scienze naturali del suo tempo, Bologna, II Mulino, 1983, 8vo, pp. 432, L.30,000 (paperback). While Charles Darwin still awaits a satisfactory scientific biography, four studies have appeared recently which illuminate the position of Lamarck in the history of science. While two of them, by R. Burckhardt and L. Jordanova, come from the Anglo-Saxon world,...

Acne and diet: truth or myth? Acne e dieta: verdade ou mito?

Numerous studies were published over the last 50 years to investigate whether diet is associated with the etiology of acne. Although older studies well known by dermatologists that refute the association between acne and diet exist, their scientific foundation is weak. New articles have recently brought to light evidence contrary to previous findings. Therefore, we would like to investigate whe...

Churg-Strauss syndrome.

Strauss: a Specification Miner

Program verification tools (such as model checkers) are powerful tools for finding errors in programs. Unfortunately, these tools need lots of formal specifications of correct program behavior. Can we really expect programmers to write all of these specifications by hand? This dissertation is about Strauss, a tool I wrote to bring automation to specification-writing. By observing traces of work...